package fsmCore;

public class TransizioneAsincrona extends Transizione {

	private static final long serialVersionUID = 7202864462611629697L;

	//@ requires non_null sorgente && non_null destinazione && non�_null nome && non_null durata
	public TransizioneAsincrona(Stato sorgente, Stato destinazione,  String nome , int durata){
		super(sorgente,destinazione,nome); 
		
		// setto durata trans asincrona
		setDurata(durata);
		setDurataresidua(getDurata());
	}
	
	public String toString(){
		return getNome();
	}
	
	// tostring dettagliato
	public String toStringDet(){
		String result="Nome transizione: " + getNome() + "\nTipo transizione: Asincrona\n" + "Nome stato sorgente: " + getSorgente().toString() + "\nNome stato destinazione: " + getDestinazione().toString()  
		+ "\nDurata transizione: " + getDurata() + " secondi\n"; 
		
		return result;
	}

	public boolean sincrona(){
		return false;
	}
	
}
